大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Conference Midwest Algebra 的图书(共11071本)

Computational Science-ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

0
索取号:
作者:Alexandrov、 Vassil N.、Albada、 Geert Dick.、Sloot、 Peter M. A.、Dongarra、 Jack.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science-ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

0
索取号:
作者:Alexandrov、 Vassil N.、Albada、 Geert Dick.、Sloot、 Peter M. A.、Dongarra、 Jack.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithms and Complexity [electronic resource] : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings

0
索取号:
作者:Calamoneri、 Tiziana.、Finocchi、 Irene.、Italiano、 Giuseppe F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

0
索取号:
作者:Beck、 J. Christopher.、Smith、 Barbara M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Trust Management [electronic resource] : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings

0
索取号:
作者:St酶len、 Ketil.、Winsborough、 William H.、Martinelli、 Fabio.、Massacci、 Fabio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Persuasive Technology [electronic resource] : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings

0
索取号:
作者:IJsselsteijn、 Wijnand A.、Kort、 Yvonne A. W.、Midden、 Cees.、Eggen、 Berry.、Hoven、 Elise.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Numerical Mathematics and Advanced Applications [electronic resource] : Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005

0
索取号:
作者:de Castro、 Alfredo Berm煤dez.、G贸mez、 Dolores.、Quintela、 Peregrina.、Salgado、 Pilar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

0
索取号:
作者:Hnich、 Brahim.、Carlsson、 Mats.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Process Change [electronic resource] : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

0
索取号:
作者:Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、Wernick、 Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

0
索取号:
作者:Boavida、 Fernando.、Plagemann、 Thomas.、Stiller、 Burkhard.、Westphal、 Cedric.、Monteiro、 Edmundo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Testing of Communicating Systems [electronic resource] : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

0
索取号:
作者:Uyar、 M. 脺mit.、Duale、 Ali Y.、Fecko、 Mariusz A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Science-Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

0
索取号:
作者:Grigoriev、 Dima.、Harrison、 John.、Hirsch、 Edward A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

DNA Computing [electronic resource] : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.

0
索取号:
作者:Carbone、 Alessandra.、Pierce、 Niles A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Location- and Context-Awareness [electronic resource] : Second International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006. Proceedings

0
索取号:
作者:Hazas、 Mike.、Krumm、 John.、Strang、 Thomas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

0
索取号:
作者:Gilroy、 Stephen W.、Harrison、 Michael D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类